This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining and computing with a (...) (coloured) LTS, and another, separate formalism, a modal language interpreted on a (coloured) LTS used to express its properties. We consolidate these two strands. Instead of specifying the obligatory and prohibited states and transitions as part of the construction of a coloured LTS as in nC+, we represent norms in the modal language and use those to construct a coloured LTS from a given regular (uncoloured) one. We also show how connections between norms on states and norms on transitions previously treated as fixed constraints of a coloured LTS can instead be defined within the modal language used for representing norms. (shrink)

There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in (...) the analysis and representation of law.The essential point for which we argue is that deontic logic — in some form or other —needs to be taken seriously whenever it is necessary to make explicit, and then reason about, the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. We take the library regulations at Imperial College as the main illustration, and small examples from genuinely legal domains to introduce specific points. In conclusion, we touch on the role of deontic logic in the development of the theory of normative positions. (shrink)

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n i-j, is a stronger version of KD, the system often referred to as Standard (...) Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work. (shrink)

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45ni-j, is a stronger version of KD, the system often referred to as Standard Deontic (...) Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work. (shrink)

Die Beiträge dieses Bandes aus verschiedenen Disziplinen, Philosophie, Literaturgeschichte und Kunstgeschichte schließen sich zum Bild einer Epoche zusammen, die einen Höhepunkt des deutschen Geisteslebens darstellt. Dabei treten bestimmte Züge heraus, welche die Genese dieser Kultur in relativ eng umgrenzten Kommunikationszentren zeigen: Königsberg - Düsseldorf - Jena - Weimar - freilich mit Ausstrahlung auf das übrige Deutschland. So etwa: die Stilisierung der Geselligkeit über den literarischen Dialog bis zur philosophischen Interpersonalitätslehre Fichtes und einer dem entsprechenden Dialektik des Dialogs; einer Staats- und (...) Gesellschaftsauffassung, die zwar noch in der klassischen Naturrechtslehre der Aufklärung gründete, aber den Rechtsbegriff so in sich zu gliedern wußte, daß er Implikationen verbindlich auch für das politische Handeln hergeben konnte und so aus dem Rechtsbegriff erstmals die Umsetzung des Völkerfriedens politisch fordern konnte. Es zeigt sich hier ein Grundmodell, das aller pragmatisch ausmachbaren Verallgemeinerungsfähigkeit überlegen ist, da die sittliche Person auch schon im Recht eine individuelle Aufforderung erhält, soll politisches Handeln von der öffentlichen Meinung anerkannt werden. Schließlich tritt eine neue Religiosität auf, die ein Naturverständnis einbezog, das ästhetischer Herkunft war, und die vielleicht deswegen ihren überzeugendsten Ausdruck in der Malerei fand. In allen diesen Bereichen aber werden Natur und Kunst im Lichte der neuentdeckten Freiheit des autonomen Individuums wiederbelebt. (shrink)

History provides us with instances of various societal and economic changes that with a hindsight are interpreted as either indicating progressive or regressive trends. The present paper attempts to define what represents progress and regress by applying psychological constructs to evaluation of the psychosocial changes. Seven principles of progress are applied as criteria for interpreting various historic events. The primary condition for progress is courage to face adversity or, in the cognitive domain, ambiguity, controversy and “unknown”. An overall model of (...) Challenge-Resilience-Resourcefulness is described as the process through which progress can be achieved. (shrink)

In the paper I try to define some basic ideas and sketch a style of Marek Siemek’s epistemological reflection and its influence on the notion of do called “meaning of history”. I referee some elements of his interpretation of Kant and Hegel as a background to paradox of “meaning of the history”—the paradox of its necessary transcendence and immanence, the contradiction between a history as an eschatology, and history as a “project”, a dialectic of sense and non-sense. The conclusion (...) is following: the “history” for Siemek is the becoming of self-sufficiency of the “modern spirit” and therefore a tragicomedy in the Hegelian sense. It excludes any transcendent point of view or any utopia. (shrink)

Im Beitrag wird versucht, Fichtes und Hegels Konzepte der Intersubjektivität miteinander zu vergleichen, auch um die verbreitete Meinung über die Unvereinbarkeit beider zu prüfen. Die nähere Rekonstruktion beider Auffassungen will zeigen, daß Fichtes dialogisches Modell der auf gegenseitige »Aufforderung zur Freiheit« gründenden Interpersonalität dem Hegelschen Konzept des ursprünglichen »Kampfes um die Anerkennung« keinesfalls widerspricht. Es handelt sich hier vielmehr um zwei wohl verschiedene, aber komplementäre Darstellungs- und Begründungsweisen einer und derselben kommunikativen Reziprozität, die als unhintergehbare Voraussetzung für die menschliche Freiheit (...) in der modernen Welt doch von den beiden Philosophen angenommen wird. (shrink)

Im Beitrag wird versucht, Fichtes und Hegels Konzepte der Intersubjektivität miteinander zu vergleichen, auch um die verbreitete Meinung über die Unvereinbarkeit beider zu prüfen. Die nähere Rekonstruktion beider Auffassungen will zeigen, daß Fichtes dialogisches Modell der auf gegenseitige »Aufforderung zur Freiheit« gründenden Interpersonalität dem Hegelschen Konzept des ursprünglichen »Kampfes um die Anerkennung« keinesfalls widerspricht. Es handelt sich hier vielmehr um zwei wohl verschiedene, aber komplementäre Darstellungs- und Begründungsweisen einer und derselben kommunikativen Reziprozität, die als unhintergehbare Voraussetzung für die menschliche Freiheit (...) in der modernen Welt doch von den beiden Philosophen angenommen wird. (shrink)

Charles Darwin’s theory of evolution by means of natural selection finds application far outside biology, for which it was originally invented. Its consequences for science proved far-going, influencing practically every field from thermodynamics to the humanities. While acting on biological systems, the Darwinian mechanism is a source of progress and the local-scale abandonment of the universe’s general tendency towards chaos. However, observations of changes taking place in selection-exposed organisms show that evolutionary success requires some essential limitations. The application of this (...) reasoning to social evolution may appear thought-provoking: stable evolution requires not only intense selection but also a conservative approach to ideas. (shrink)

In the former socialist countries the relation of philosophy to social reality, as shaped by the political interests of the State, must be considered for each particular case with a view to the historical dynamics of its own development. The Polish case is not typical in this regard — it was determined by the failure of forced sovietization at the institutional, cultural level and the maintenance of Poland''s traditional contacts with Western European culture. In this regard Polish universities played an (...) important role since they preserved normal structures of academic activity.Philosophy in Poland has been marked by three currents which managed to rebuff the advances of Marxism. Best known among them is the Lwów-Warsaw school of logic and analytic philosophy. Its contribution is especially important in the methodology of philosophical inquiry and the style of responsible philosophical discourse. Though not a bed of political opposition the school''s members mounted a spiritual opposition to Marxism, especially during the Solidarity period. Catholic philosophy, as represented by the Catholic University of Lublin (KUL), has been and remains a completely independent force in Eastern and Central Europe. Doctrinally, Catholic philosophy in Poland has been divided between a more traditional, dated Thomism and the more progressive circles in Cracow where Western European philosophy, especially phenomenology, existentialism, and hermeneutics, has been influential (the significance of Józef Tischner and Karol Wojtyla, now Pope Jean Paul II). The third major current, centered in Cracow, is the phenomenology of Roman Ingarden, whose influence is manifest in a style of philosophizing that has attracted professional philosophers as well as committed intellectuals from different disciplines. (shrink)

In the former socialist countries the relation of philosophy to social reality, as shaped by the political interests of the State, must be considered for each particular case with a view to the historical dynamics of its own development. The Polish case is not typical in this regard -- it was determined by the failure of forced sovietization at the institutional, cultural level and the maintenance of Poland's traditional contacts with Western European culture. In this regard Polish universities played an (...) important role since they preserved 'normal' structures of academic activity. Philosophy in Poland has been marked by three currents which managed to rebuff the advances of Marxism. Best known among them is the Lwów-Warsaw school of logic and analytic philosophy. Its contribution is especially important in the methodology of philosophical inquiry and the style of responsible philosophical discourse. Though not a bed of political opposition the school's members mounted a 'spiritual opposition' to Marxism, especially during the Solidarity period. Catholic philosophy, as represented by the Catholic University of Lublin, has been and remains a completely independent force in Eastern and Central Europe. Doctrinally, Catholic philosophy in Poland has been divided between a more traditional, dated Thomism and the more progressive circles in Cracow where Western European philosophy, especially phenomenology, existentialism, and hermeneutics, has been influential. The third major current, centered in Cracow, is the phenomenology of Roman Ingarden, whose influence is manifest in a style of philosophizing that has attracted professional philosophers as well as committed intellectuals from different disciplines. Against this diversified background Marxism had to prove its mettle, a requirement that explains the unique internal differentiation and pluralism within Polish Marxist philosophy. The decisive factors in its development were its rejection of Soviet Marxism-Leninism and the opening to Western Marxism. The often remarked 'revisionist' character of Polish Marxism consists in the recognition by its most talented representatives of the fundamental incompatibility between Marxism as the ideological legitimation of the Communist state and as a philosophy subject to rational criteria. In effect, Polish Marxists thought the theory through to its end, and in this sense brought to light its inherently unstable nature: to be a philosophy it would have to cease to be Marxist, to be Marxist means having to pander to ideology. The confrontation of the diverse currents in Polish philosophy contributed to an unfortunate result: for political reasons non-Marxists steered clear of social philosophical questions, while official Marxism, which suppressed the 'revisionist' trend, obfuscated the relation between philosophy and social reality. Today philosophy in Poland has the urgent task to contribute to the reconstruction of a social rationality combining a critical consciousness with moral elements of commitment and responsibility. (shrink)

One of the best known approaches to the logic of agency are the ‘stit’ logics. Often, it is not the actions of an individual agent that bring about a certain outcome but the joint actions of a set of agents, collectively. Collective agency has received comparatively little attention in ‘stit’. The paper maps out several different forms, several different senses in which a particular set of agents, collectively, can be said to bring about a certain outcome, and examines how these (...) forms can be expressed in ‘stit’ and stit-like logics. The outcome that is brought about may be unintentional, and perhaps even accidental; the account deliberately ignores aspects such as joint intention, communication between agents, awareness of other agents’ intentions and capabilities, even the awareness of another agent’s existence. The aim is to investigate what can be said about collective agency when all such considerations are ignored, besides mere consequences of joint actions. The account will be related to the ‘strictly stit’ of Belnap and Perloff, 25–48 1993) and their suggestions concerning ‘inessential members’ and ‘mere bystanders’. We will adjust some of those conjectures and distinguish further between ‘potentially contributing bystanders’ and ‘impotent bystanders’. (shrink)

We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or (...) pre-supposes, a certain context in which a primary obligation is already violated. This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples. The concluding section is concerned with some resemblances between CTD and defeasible reasoning. We show first that the SDL-based framework contains a flaw and must be adjusted. A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional accounts of defeasible conditionals. (shrink)

The authors describe a logic programming approach to the representation of legislative texts. They consider the potential uses of simple systems which incorporate a single, fixed interpretation of a text. These include assisting in the routine administration of complex areas of the law. The authors also consider the possibility of constructing more complex systems which incorporate several, possibly conflicting interpretations. Such systems are needed for dealing with ambiguity and vagueness in the law. Moreover, they are more suitable than single interpretation (...) systems for helping to test proposed legislation and for helping to give citizens advice. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open (...) multi-agent systems. We adopt a bird’s eye view of these systems, as opposed to an agent’s perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system. (shrink)

The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a high-level, logical formalism for the representation of domains involving action and change. However, one cannot directly express relationships which hold between states more than one time-step distant, or even say that one action determines another at the next time. We present C+timed, a generalization of C+ which removes these limitations. As for C+, translations to the language of causal theories are given. We also define a new kind (...) of transition system called a ‘run system’ to provide a graphical semantics. Finally, we show how domains involving prohibition and permission can be modelled, by incorporating the ideas of another extension of C+. (shrink)

The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts, of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.